#!/bin/bash
#
# use current working directory for input and output - defaults is 
# to use the users home directory
#$ -cwd
#
# name this job
#$ -N star
# send stdout and stderror to this file
#$ -o star.out
#$ -j y
#
# select queue - if needed 
#$ -q me,cos,nerhp,amd64-low
#$ -hard
#$ -l mem_free=6G
#$ -m e
#$ -M nadamuna@eecs.oregonstate.edu
dom=./rddl/sysadmin_mdp.rddl
for f in {4,5,6,7,8,9,10}
do
inst=./rddl/sysadmin_star_12_$f.rddl
echo "Solving $dom $inst"
#echo "solving $f using VI"
#sh vi.sh $dom $inst 0.1 
#echo "solving $f using VIC"
#sh vic.sh $dom $inst 0.1
#echo "solving $f using SPI 10"
#sh spi.sh $dom $inst 10 
#echo "solving $f using SPI 5"
#sh spi.sh $dom $inst 5 
#echo "solving $f using SPI 3"
#sh spi.sh $dom $inst 3 
#echo "conditioning 0.002e5"
#sh viCut.sh $dom $inst 0.1 0.002e5 
#echo "conditioning 1e5"
#sh viCut.sh  $dom $inst 0.1 1e5 
#echo "conditioning 0.1e5"
#sh viCut.sh  $dom $inst 0.1 0.1e5 
#echo "conditioning 5e5"
#sh viCut.sh  $dom $inst 0.1 5e5 
#echo " max decom"
#sh maxD.sh $dom $inst 0.1
#sh ./scripts/viaadd.sh $dom $inst 0.1
#echo "vi aadd"
sh ./scripts/vicaadd.sh $dom $inst 0.1
echo "vic aadd"
done


